Eiffel Software - PDFSEARCH.IO - Document Search Engine

Eiffel Software
Results: 113

#	Item
11	CHAPTER 6 Paris Map Tour In this chapter, you’ll build a tour guide app for a trip to Paris. Creating a fully functioning map app might seem really complicated, but App Inventor provides two high-level components to h Add to Reading List Source URL: www.appinventor.org Language: English Route planning software Web mapping Android software Uniform resource locator Google Maps Bitly Eiffel Software Computing Keyhole Markup Language
12	The GEHR Object Model Architecture Rev 4.1 draft E The GEHR Object Model Architecture Authors: Thomas Beale Revision: 4.1 draft E Add to Reading List Source URL: www.openehr.org Language: English - Date: 2015-05-28 09:28:24 Unified Modeling Language ISO standards Diagrams Knowledge representation Eiffel Archetype Beale Object Constraint Language XML Computing Software engineering Object-oriented programming
13	OCEAN GEHR-compliant Kernel Application Programmer’s Interface Rev 2.1 Draft A OCEAN GEHR-compliant Kernel Add to Reading List Source URL: www.openehr.org Language: English - Date: 2015-05-28 09:28:24 Object-oriented programming Linux Application programming interface Technical communication Native API Java Eiffel Linux kernel Component Object Model Computing Software engineering Software
14	THE EIFFEL LIBRARY STANDARD VINTAGE 95 Report identification TR-EI-48/KL: The Eiffel Library Standard. (Earlier title: The Proposed Eiffel Library Kernel Standard). Prepared for the Nonprofit International Consortium fo Add to Reading List Source URL: www.eiffel-nice.org Language: English - Date: 2014-10-22 11:03:56 Logic in computer science Object-oriented programming Eiffel Subroutines Postcondition Precondition Assertion Parameter Operating system Software engineering Computer programming Computing
15	OO languages late-binding signature Antoine Beugnard ENST Bretagne, BP 832, 29285 BREST CEDEX, FRANCE Abstract Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:32:56 Object-oriented programming Control flow Cross-platform software Eiffel Covariance and contravariance Late binding Multiple inheritance Objective-C Smalltalk Software engineering Computing Computer programming
16	Log4J About the Tutorial Log4j is a popular logging package written in Java. Log4J is ported to the C, C++, C#, Perl, Python, Ruby, and Eiffel languages. Add to Reading List Source URL: www.tutorialspoint.com Language: English - Date: 2015-04-06 09:50:19 Log4j SLF4J Java logging framework Computing Software Apache Software Foundation
17	Microsoft Word - AE_checklist.doc Add to Reading List Source URL: www.writing.engr.psu.edu Language: English - Date: 2014-02-12 17:24:55 Graphic design Typesetting Sans-serif Microsoft PowerPoint Calibri Serif Eiffel Headline Typeface Typography Software Computing
18	TOWER DESIGN V.Ryan © On behalf of The World Association of Technology Teachers W.A.T.T. Add to Reading List Source URL: www.technologystudent.com Language: English - Date: 2011-08-11 07:39:21 Software engineering Technology Eiffel Elevator Towers Civil engineering 7th arrondissement of Paris Eiffel Tower
19	Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-06-23 07:40:14 Logic in computer science Control flow Object-oriented programming Program logic Procedural programming languages Postcondition Exception handling Eiffel Precondition Software engineering Computing Computer programming
20	Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-07-18 08:21:02 Logic in computer science Design by contract Eiffel Formal verification Software verification Postcondition KeY Formal methods Exception handling Software engineering Theoretical computer science Computing

UPDATE